(define (problem tyre-replacement)
    (:domain tyre-replacement)
    (:objects
        jack - jack
        pump - pump
        wrench - wrench
        boot - container
        hub1 hub2 hub3 hub4 hub5 hub6 hub7 hub8 hub9 hub10 hub11 - hub
        nut1 nut2 nut3 nut4 nut5 nut6 nut7 nut8 nut9 nut10 nut11 - nut
        flat-tyre1 flat-tyre2 flat-tyre3 flat-tyre4 flat-tyre5 flat-tyre6 flat-tyre7 flat-tyre8 flat-tyre9 flat-tyre10 flat-tyre11 - flat-tyre
        intact-tyre1 intact-tyre2 intact-tyre3 intact-tyre4 intact-tyre5 intact-tyre6 intact-tyre7 intact-tyre8 intact-tyre9 intact-tyre10 intact-tyre11 - intact-tyre
    )
    (:init
        (has jack)
        (has pump)
        (has wrench)
        (inside jack boot)
        (inside pump boot)
        (inside wrench boot)
        (inside intact-tyre1 boot)
        (inside intact-tyre2 boot)
        (inside intact-tyre3 boot)
        (inside intact-tyre4 boot)
        (inside intact-tyre5 boot)
        (inside intact-tyre6 boot)
        (inside intact-tyre7 boot)
        (inside intact-tyre8 boot)
        (inside intact-tyre9 boot)
        (inside intact-tyre10 boot)
        (inside intact-tyre11 boot)
        (unlocked boot)
        (closed boot)
        (not-inflated intact-tyre1)
        (not-inflated intact-tyre2)
        (not-inflated intact-tyre3)
        (not-inflated intact-tyre4)
        (not-inflated intact-tyre5)
        (not-inflated intact-tyre6)
        (not-inflated intact-tyre7)
        (not-inflated intact-tyre8)
        (not-inflated intact-tyre9)
        (not-inflated intact-tyre10)
        (not-inflated intact-tyre11)
        (on flat-tyre1 hub1)
        (on flat-tyre2 hub2)
        (on flat-tyre3 hub3)
        (on flat-tyre4 hub4)
        (on flat-tyre5 hub5)
        (on flat-tyre6 hub6)
        (on flat-tyre7 hub7)
        (on flat-tyre8 hub8)
        (on flat-tyre9 hub9)
        (on flat-tyre10 hub10)
        (on flat-tyre11 hub11)
        (on-ground hub1)
        (on-ground hub2)
        (on-ground hub3)
        (on-ground hub4)
        (on-ground hub5)
        (on-ground hub6)
        (on-ground hub7)
        (on-ground hub8)
        (on-ground hub9)
        (on-ground hub10)
        (on-ground hub11)
        (tight nut1 hub1)
        (tight nut2 hub2)
        (tight nut3 hub3)
        (tight nut4 hub4)
        (tight nut5 hub5)
        (tight nut6 hub6)
        (tight nut7 hub7)
        (tight nut8 hub8)
        (tight nut9 hub9)
        (tight nut10 hub10)
        (tight nut11 hub11)
        (fastened hub1)
        (fastened hub2)
        (fastened hub3)
        (fastened hub4)
        (fastened hub5)
        (fastened hub6)
        (fastened hub7)
        (fastened hub8)
        (fastened hub9)
        (fastened hub10)
        (fastened hub11)
    )
    (:goal (and
        (inside flat-tyre1 boot)
        (inside flat-tyre2 boot)
        (inside flat-tyre3 boot)
        (inside flat-tyre4 boot)
        (inside flat-tyre5 boot)
        (inside flat-tyre6 boot)
        (inside flat-tyre7 boot)
        (inside flat-tyre8 boot)
        (inside flat-tyre9 boot)
        (inside flat-tyre10 boot)
        (inside flat-tyre11 boot)
        (inside jack boot)
        (inside pump boot)
        (inside wrench boot)
        (closed boot)
        (on intact-tyre1 hub1)
        (on intact-tyre2 hub2)
        (on intact-tyre3 hub3)
        (on intact-tyre4 hub4)
        (on intact-tyre5 hub5)
        (on intact-tyre6 hub6)
        (on intact-tyre7 hub7)
        (on intact-tyre8 hub8)
        (on intact-tyre9 hub9)
        (on intact-tyre10 hub10)
        (on intact-tyre11 hub11)
        (tight nut1 hub1)
        (tight nut2 hub2)
        (tight nut3 hub3)
        (tight nut4 hub4)
        (tight nut5 hub5)
        (tight nut6 hub6)
        (tight nut7 hub7)
        (tight nut8 hub8)
        (tight nut9 hub9)
        (tight nut10 hub10)
        (tight nut11 hub11)
        (inflated intact-tyre1)
        (inflated intact-tyre2)
        (inflated intact-tyre3)
        (inflated intact-tyre4)
        (inflated intact-tyre5)
        (inflated intact-tyre6)
        (inflated intact-tyre7)
        (inflated intact-tyre8)
        (inflated intact-tyre9)
        (inflated intact-tyre10)
        (inflated intact-tyre11)
    ))
)